Let S be a set of integers containing a. Suppose that S has the property that whenever some integer n ≥ a belongs to S, then the integer n + 1 also belongs to S. Then S contains every integer greater than or equal to a.